A Meta-Method for Formal Method Integration
نویسنده
چکیده
We describe a meta-method for formal method integration [Pai97]. The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory behind formal method integration, present two example combinations, and use an integrated method in solving a small problem.
منابع مشابه
Case Studies in Using a Meta-Method for Formal Method Integration
We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integrated formal methods, and discuss properties and difficulties associated with applying the meta-method to combining and using several formal and semiformal methods.
متن کاملUsing Heterogeneous Notations to Integrate a Formal and Object-Oriented Method
We combine a formal speciication technique with an object-oriented method using a meta-method for formal method integration based on heterogeneous notations 18, 19]. We discuss the integrated method, and then apply it to an example.
متن کاملHow Does Explicit and Implicit Instruction of Formal Meta-discourse Markers Affect Learners’ Oral Proficiency?
Meta-discourse markers are an inevitable part of oral proficiency which improve both the quality and comprehension of learners’ speech. While studies of oral meta-discourse have been conducted since the 1980s in a European or US context, they have remained relatively untouched in Iran. Therefore, this study aimed to seek the impact of both explicit and implicit teaching of formal meta-discourse...
متن کاملIntegration of Software Analysis and Design Methods with Formal Description Techniques
This paper discusses a technique how to integrate formal description techniques (FDTs) with specification & design methods such as OMT so that we can have new methods to support writing formal specifications. The integration mechanism is based on transformation rules of specification documents produced following methods into the descriptions written in FDTs. The transformation rules specify the...
متن کاملHow does Explicit and Implicit Instruction of Formal Meta-discourse Markers Affect Learners’ Writing Skills?
Discourse markers improve both the quality and comprehension of a written text. This study aimed at investigating the effect of explicit and implicit instruction of formal meta-discourse markers on writ- ing skills. The quantitative data were collected from 90 upper-intermediate students at Shiraz Univer- sity Language Center. Two experimental groups went through an instruction, while the contr...
متن کامل